Scientific Events Organisation

Member of the Organizing Committees

Michel Mauny is a member of the steering committee of the OCaml workshop.

Didier Rémy was a member of the steering committee of the OCaml workshop until September 2017. He is a member of the steering committee of the ML Family workshop.

Scientific Events Selection

Member of the Conference Program Committees

Xavier Leroy was a member of the program committees of the Compiler Construction conference (CC 2016), of the conference on Interactive Theorem Proving (ITP 2016), and on the external review committee of the symposium on Principles of Programming Languages (POPL 2017).

François Pottier was a member of the program committees of the conferences Journées Francophones des Langages Applicatifs (JFLA 2017) and Compiler Construction (CC 2017).

Reviewer

In 2016, the members of Gallium reviewed at least 30 conference submissions.

Journal

Member of the Editorial Boards

Xavier Leroy is area editor (programming languages) for the Journal of the ACM. He is on the editorial board for the Research Highlights column of Communications of the ACM. He is a member of the editorial board of the Journal of Automated Reasoning.

François Pottier is an editor for the Journal of Functional Programming.

Invited Talks

Xavier Leroy was an invited speaker at the ICALP conference (Rome, July 2016).

Research Administration

Xavier Leroy is délégué scientifique adjoint of Inria Paris and appointed member of Inria's Commission d'Évaluation. He participated in the following Inria hiring and promotion committees: jury d'admissibilité DR2, promotions CR1, and promotions DR1.

Xavier Leroy was a member of the hiring committee for a professor position at Université de Lorraine.

Xavier Leroy was a member of the HCERES evaluation panel for the LORIA laboratory.

François Pottier is a member of the Commission de Développement Technologique and (as of January 2016) chairs the Comité de Suivi Doctoral of Inria Paris.

Didier Rémy is Deputy Scientific Director (ADS) in change of Algorithmics, Programming, Software and Architecture.